# (decoded with TMPL 137) *****: (EOF-terminated list)